program

#there can be pre- and postconditions too
#.precondition(true)
#.expression(true)
#test begin
	# an assignment within the this block...
#	a[false]=false and true xor false nand true;
	
	#a block within a block...
#	test2 begin
#		lol=true;
		
#		.expression(true)
#		test3 begin
#			b[true]=true and false;
#		test3 end
#		.expression(false);
#		
#		test4 begin
#			b[test[true]]=false;
#		test4 end;
#		
#		.expression(true and false)
#		test5 begin
#			.expression(true)
#			y=true;
#		test5 end;
#	test2 end;
	
#test end
#.postcondition(true)
#.expression(false and true);

# this is a simple function...
#.dllimport("/home/florian/dlls/foobar.dll")
#.naked
#test function (i:byte):nil begin
#	u=false;
#test end;

proto test function(i:record i:unsigned byte;end):nil;
test function(i:record i:unsigned byte;end):nil begin
test end;

#test function:nil begin
#	var i:byte;
#test end;
end @main.